تعداد ۱۴ پاسخ غیر تکراری از ۱۴ پاسخ تکراری در مدت زمان ۲,۳۵ ثانیه یافت شد.

1. Category theory and computer science

پدیدآورنده : D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses

رده :

QA

.

C388

76

.

6

1987

2. Category theory and computer science :

پدیدآورنده : D.H. Pitt [and others] (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Categories (Mathematics), Congresses.,Computer science, Congresses.,Catégories (Mathématiques)-- Congrès.,Informatique, Congrès.,Categorieën (wiskunde),Categories (Mathematics),Categories (Mathematics), Congresses.,Catégories (mathématiques)-- Congrès.,Computer science.,Computers.,Datenverarbeitung,Informatik,Kategorientheorie,Kongress,Logic, Symbolic and mathematical, Congresses.

رده :

QA75

.

5

.

S86

1991

3. Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings

پدیدآورنده : D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Categories )Mathematics(

رده :

QA

76

.

L28

Vol

.

283

4. Category theory and computer science: Edinburgh, U.K., September 7-9, 1987 : proceedings. Edinburgh, U.K., September 7-9, 1987 : proceedings,Lecture notes in comuter science

پدیدآورنده : D.H. Pitt, A. Poigne, D.E. Rydeheard )eds.(

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Computer programming- Congresses,، Categories )Mathematics(- Congresses

رده :

QA

76

.

6

.

C388

1987

5. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings

پدیدآورنده : D.H. Pitt ... )et al.( )ed.(

کتابخانه: (طهران)

موضوع : Congresses ، Electronic digital computers -- Programming,Congresses ، Categories )Mathematics(

رده :

QA

76

.

6

.

C3882

1989

6. Category theory and computer science : Manchester, UK, September 5-8, 1989 : proceedings

پدیدآورنده : D.H. Pitt...]et al.[ )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Categories )Mathematics(

رده :

QA

76

.

L28

Vol

.

389

7. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings

پدیدآورنده : D.H. Pitt ... )et al.( )ed.(

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Categories )Mathematics(

رده :

QA

76

.

L4

v

.

389

8. Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings

پدیدآورنده : D.H. Pitt ... )et al.( )ed.(

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Electronic digital computers - Programming - Congresses,Categories )Mathematics( - Congresses

رده :

QA

.

C3882

76

.

6

1989

9. Category theory and computer science: Manchester, UK, September 5-8, 1989, proceedings. Manchester, UK, September 5-8, 1989, proceedings,Lecture notes in comuter science

پدیدآورنده : D.H. Pitt ... ]et al.[ )ed.(

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Computer programming- Congresses,، Categories )Mathematics(- Congresses

رده :

QA

76

.

6

.

C3882

1989

10. Category theory and computer science : 6th International Conference, CTCS 95, Cambridge, United Kingdom, August 7-11, 1995 : proceedings

پدیدآورنده : David Pitt, David E. Rydeheard, Peter Johnstone, eds

کتابخانه: (طهران)

موضوع : Electronic digital computers - Programming - Congresses , Categories )Mathematics( - Congresses

رده :

QA

76

.

6

.

B53

1995

11. Category theory and computer science : 7th International Conference, CTCS '97,Santa Margherita Ligure, Italy, Sptember 1997: Proceeding

پدیدآورنده : / Eugenio Moggi, Giuseppe Rosolini(eds.)

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Electronic digital computers - Programming - Congresses,Categories (Mathematics) - Congresses

رده :

QA76

,.

6

.

B53

12. Foundations of software science and computation structures :

پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.

رده :

QA76

.

751

.

F67

2018eb

13. Proof and system-reliability

پدیدآورنده : edited by Helmut Schwichtenberg and Ralf Steinbrüggen.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.

14. category theory and computer science:6th international conference,CTCS,95,Cambridge ,united kingdom,Augest 7-11,1995

پدیدآورنده : DAvid Pitt,David E.Rydehead,Peter Johnstone,eds

کتابخانه: (کرمان)

موضوع : computer programming--congresses,categories)mathematics(-congreses

رده :

QA

76

.

6

.

B53

1995

»
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها